Designing a Proof GUI for Non-Experts – Evaluation of an Experiment
نویسندگان
چکیده
Often user interfaces of theorem proving systems focus on assisting particularly trained and skilled users, i.e., proof experts. As a result, the systems are difficult to use for non-expert users. This paper describes a paper and pencil experiment, in which (non-expert) students were asked to make suggestions for a GUI for an interactive system for mathematical proofs. They had to explain the usage of the GUI by applying it to construct a proof sketch for a given theorem. The evaluation of the experiment provides insights for the interaction design for non-expert users and the needs and wants of this user group.
منابع مشابه
Designing a GUI for Proofs - Evaluation of an HCI Experiment
Often user interfaces of theorem proving systems focus on assisting particularly trained and skilled users, i.e., proof experts. As a result, the systems are difficult to use for non-expert users. This paper describes a paper and pencil HCI experiment, in which (non-expert) students were asked to make suggestions for a GUI for an interactive system for mathematical proofs. They had to explain t...
متن کاملDesigning a Model for Evaluation of Universities System
Control and evaluation are major secrets of an organization's survival.Universities, as research and educational organizations, need to be evaluated in order to survive. The results of educational activities encompass a vast spectrum including the graduates, researchers and planners, scientific publications, as well as satisfaction of students, parents, profossors and staff (Ramsden, 1996).Th...
متن کاملA new security proof for FMNV continuous non-malleable encoding scheme
A non-malleable code is a variant of an encoding scheme which is resilient to tampering attacks. The main idea behind non-malleable coding is that the adversary should not be able to obtain any valuable information about the message. Non-malleable codes are used in tamper-resilient cryptography and protecting memories against tampering attacks. Many different types of non-malleability have alre...
متن کاملDesigning the Hybrid Model of Balanced Scorecard and Analysis of Hierarchical Process for Evaluation of the Outsourced Services Suppliers in Supply Chain of Teaching Hospital
Background and Objectives: Outsourcing has been considered by hospital managers as a model to reduce the financial burden and modify the financial system. The external suppliers must be qualified for the services they ought to provide to the hospitals. The use of the Balance Scorecard and the Analysis of Hierarchical Process can help assessing suppliers' capability to solve exi...
متن کاملDesigning and Validating of Evaluation Model in Distance Education System (Case Study: Payam Noor University)
This paper aims to design and validate a model for evaluation of educational aspect in distance education system. As an applied research, an exploratory mixed methods approach was used. The participants in the qualitative study included 15 professors and researchers who were purposefully selected and interviewed. The statistical sample in the quantitative part of the study consisted of 215 man...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005